frequency($f$;$x$) $\sim$ ($p$/$q$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$m$, $k$:$\mathbb{N}$. $\exists$$j$:$\mathbb{N}$. (($k$ $<$ $j$) c$\wedge$ $\mid$\#\{i$<$$j$$\mid$$f$ i ${\it eq}$ $x$\}/$j$ {-} $p$/$q$$\mid$ $<$ 1/$m$)